A modular graph transformation rule set for IFC‐to‐CityGML conversion
نویسندگان
چکیده
Conversion of Industry Foundation Classes (IFC) building models into CityGML city is one the operational scenarios for BIM–GIS integration, with a variety applications producing and consuming data on either side. Given in-depth cross-domain knowledge required to specify such conversions, heterogeneity IFC input use cases resulting CityGML, flexible configurable solutions are needed that make conversion details accessible domain specialists. Graph transformation as method fulfils these requirements. We propose extend modularity given by single rules at more coarse-grained level identify four layers modules associated rules. describe self-contained set across demonstrate its application range models.
منابع مشابه
Modular Termination of Graph Transformation
We establish a machine-checkable condition which ensures that the union of two terminating hypergraph transformation systems is terminating. The condition is based on so-called sequential critical pairs which represent consecutive rule applications that are not independent. In contrast to a corresponding modularity result for term rewriting, no restrictions on the form of rules are required. Ou...
متن کاملA set of modular binary vectors for transformation of cereals.
Genetic transformation of crop plants offers the possibility of testing hypotheses about the function of individual genes as well as the exploitation of transgenes for targeted trait improvement. However, in most cereals, this option has long been compromised by tedious and low-efficiency transformation protocols, as well as by the lack of versatile vector systems. After having adopted and furt...
متن کاملModeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions
Due to the special requirements of distributed systems, it is important that modeling techniques for this kind of systems ooer a stringent module concept. Each module has to support the encapsulation of data structure as well as functionality also at runtime. Modular graph transformation, presented in this contribution, supports these features. Modules are built up of speciications where attrib...
متن کاملFixed points for Banach and Kannan contractions in modular spaces with a graph
In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.
متن کاملAttributed Graph Transformation via Rule Schemata: Church-Rosser Theorem
We present an approach to attributed graph transformation which requires neither infinite graphs containing data algebras nor auxiliary edges that link graph items with their attributes. Instead, we use the double-pushout approach with relabelling and extend it with rule schemata which are instantiated to ordinary rules prior to application. This framework provides the formal basis for the grap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions in Gis
سال: 2021
ISSN: ['1361-1682', '1467-9671']
DOI: https://doi.org/10.1111/tgis.12723